Association for Symbolic Logic